A Universal view

Fibrations and universal view updatability

Maintainability and modifiability of information system software can be enhanced by the provision of comprehensive support for views, since view support allows application programs to continue to operate unchanged when the underlying information system is modified. Supporting views depends upon a solution to the view update problem. This paper presents a new treatment of view updates for formal...

Mani and shapur a universal faith for e universal kingdom

Constant Complements, Reversibility and Universal View Updates

The algebraic specification of information systems (including databases) has been advanced by the introduction of category theoretic sketches and in particular by the authors’ Sketch Data Model (SkDM). The SkDM led to a new treatment of view updating using universal properties already studied in category theory. We call the new treatment succinctly ”universal updating”. This paper outlines the ...

Universal Knowledge Processing Systems: A Conceptual View and Architecture

In this paper we present the architectural concepts of highly complex knowledge based system dubbed as the Universal Knowledge Processing System (UKPS) could be thought of as a Wisdom Machine (WM) capable of solving any problem simple or difficult with the help of its knowledge bases. The Universal Knowledge Processing Machine is in turn formed of several Knowledge Processing Systems (KPS) conn...

Universal iron fortification of foods: the view of a hematologist

With the objective of reducing the high incidence of iron deficiency anemia, the Brazilian National Health Surveillance Agency (ANVISA) adopted Resolution 344 in December 2002, which made the addition of iron and folic acid to all industrialized wheat and maize flours in Brazil compulsory. After a series of doubts about this universal measure of food fortification, a review of case reports on l...